Using SCADE to Develop Mission-critical High-quality Radar Application Software

نویسندگان

  • Bernard Dion
  • Aubanel Monnier
چکیده

The development of embedded software for radar applications may require software design processes that comply with the DO-178B standard or related processes. This raises issues about cost and productivity associated with the development of such mission-critical applications. In this paper, we introduce the value of the formal design, verification, and implementation technologies offered by modelbased development with SCADE® to develop radar applications and comply with DO-178B. In essence, we look at the problems developers face when confronted with compliance to demanding quality standards and how the SCADE Suite® technology helps them increase their productivity while maintaining the highest level of availability and reliability in their applications. We also discuss the new version standard in development, DO178C.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

SCADE: A Comprehensive Framework for Critical System and Software Engineering

The International Council on Systems Engineering (INCOSE) defines system engineering as an interdisciplinary approach and means to enable the realization of successful systems. It focuses on defining customer needs and required functionality early in the development cycle, documenting requirements, and then proceeding with design synthesis and system validation. The main challenges of System En...

متن کامل

Scade 6: A Formal Language for Embedded Critical Software Development

SCADE is a high-level language and environment for developing safety critical embedded control software. It is used for more than twenty years in various application domains like avionics, nuclear plants, transportation, automotive. SCADE has been founded on the synchronous data-flow language Lustre invented by Caspi and Halbwachs. In the early years, it was mainly seen as a graphical notation ...

متن کامل

Efficient Development of Embedded Automotive Software with IEC 61508 Objectives using SCADE Drive

The automotive industry is facing a challenge imposed by quality, cost, and safety aspects with respect to development of electronic and software systems. Standardization in systems architecture (AUTOSAR, FlexRay) and software development processes (IEC 61508) promise to provide the answers to the main problems currently faced by automotive SW developers. The objective of this paper is to prese...

متن کامل

Approach for Enhancing the Reliability of Software

Reliability is always important in all systems but sometimes it is more important than other quality attributes, especially in mission critical systems where the severity of consequence resulting from failure is very high. Software reliability engineering is focused on comprehensive techniques for developing reliable software and for proper assessment and improvement of reliability. Reliability...

متن کامل

Certified Software Factory: Open Software Toolsuites, Safe Methodologies and System Architectures

This paper discusses model-based design in the context of the Safety Critical Application Development Environment (SCADE), developed by Esterel Technologies.

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2012